Specifying Multimedia Binding Objects in ZRichard
نویسندگان
چکیده
The current standardisation activity of Open Distributed Processing (ODP) has attempted to incorporate multimedia ows of information into its architecture through the idea of stream interfaces. At present the reference model of ODP (ODP-RM) abstracts from the precise nature of the ows of information. As a consequence of this, the ODP-RM only deals with syntactic aspects of stream interfaces and does not require them to satisfy any behavioural considerations. It is shown in this paper how the formal notation Z can be used to reason about these ows of information in a manner that enables be-havioural as well as temporal aspects to be considered. The example given to highlight the approach is the ODP concept of a binding object.
منابع مشابه
Specifying Multimedia Binding Objects in Z
The current standardisation activity of Open Distributed Processing (ODP) has attempted to incorporate multimedia flows of information into its architecture through the idea of stream interfaces. At present the reference model of ODP (ODP-RM) abstracts from the precise nature of the flows of information. As a consequence of this, the ODPRM only deals with syntactic aspects of stream interfaces ...
متن کاملThe Design of Multimedia Languages Based on Teleaction Objects
We describe a methodology for the design of multidimensional languages to be used for multimedia applications. The methodology supports the generation of multimedia languages and applications starting from the generic description of a problem. The design framework extends traditional methodologies for visual language design and relies on Teleaction Objects (TAO) as the basic model for specifyin...
متن کاملTools for Specifying and Executing Synchronized Multimedia Presentations
Multimedia applications require the handling of synchronization between media streams. We present tools for creating, editing and presenting synchronized multimedia objects. Specifying synchronization is supported by the graphical Synchronization Editor and execution of multimedia presentations is performed by the Synchronizer. Major topics cover requirements resulting from underlying distribut...
متن کاملA Conceptual Model for Multimedia Database Systems
The representation and manipulation of synchronization and other temporal relationships among multimedia operations aTe important issues in multimedia database systems. This paper presents a conceptual model for multimedia database systems. This model extends the object-oriented data model by introducing a new abstraction mechanism for specifying temporal relationships among multimedia objects....
متن کاملMovie-based Control Flow Objects and Operations
This paper deals with visual programming in the framework of a Movie-based Multimedia Environment, which includes special movie-program objects. These objects can generate frames of an algorithmic movie as well as executable code. The important part of the movie-based programming is in defining activity areas in matrix structures as well as ordering operations according to computational steps. ...
متن کامل